On Cohomology Operations

On the Steenrod Operations in Cyclic Cohomology

For a commutative Hopf algebra A over Z/p, where p is a prime integer, we define the Steenrod operations P i in cyclic cohomology of A using a tensor product of a free resolution of the symmetric group S n and the standard resolution of the algebra A over the cyclic category according to Loday (1992). We also compute some of these operations. 1. Introduction. For any prime p, the mod p Steenrod...

Cohomology operations and algebraic geometry

This manuscript is based on a ten hours series of seminars I delivered in August of 2003 at the Nagoya Institute of Technology as part of the workshop on homotopy theory organized by Norihiko Minami and following the Kinosaki conference in honor of Goro Nishida. One of the most striking applications of homotopy theory in “exotic” contexes is Voevodsky’s proof of the Milnor Conjecture. This conj...

Stable Operations in Generalized Cohomology

Geometric Objects and Cohomology Operations

Cohomology operations (including the cohomology ring) of a geometric object are finer algebraic invariants than the homology of it. In the literature, there exist various algorithms for computing the homology groups of simplicial complexes ([Mun84], [DE95,ELZ00], [DG98]), but concerning the algorithmic treatment of cohomology operations, very little is known. In this paper, we establish a versi...

Robot Motion Planning, Weights of Cohomology Classes, and Cohomology Operations

The complexity of algorithms solving the motion planning problem is measured by a homotopy invariant TC(X) of the configuration space X of the system. Previously known lower bounds for TC(X) use the structure of the cohomology algebra of X. In this paper we show how cohomology operations can be used to sharpen these lower bounds for TC(X). As an application of this technique we calculate explic...